1. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
2. Agent technology from a formal perspective
پدیدآورنده : edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
4. Agent technology from a formal perspective
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
5. Algorithmic learning theory :
پدیدآورنده : Jyrki Kivinen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
6. Communication and Cooperation in Agent Systems :
پدیدآورنده : edited by Afsaneh Haddadi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
E358
1996
7. Emergent Web intelligenc
پدیدآورنده : / editors, Youakim Badr ... [et al.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Semantic Web,Expert systems (Computer science),Electronic books
رده :
TK5105
.
88815
E438
2010
8. Formal models of agents
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science),Intelligent agents (Computer software)
9. Formal models of agents : ESPRIT Project ModelAge final Workshop : selected papers
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1760
10. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin - Keplicz, Rineke Verbrugge
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence
رده :
QA
،
76
.
76
،.
D8
،
2010
11. Teamwork in multi-agent systems
پدیدآورنده : / Barbara Dunin-Keplicz, Rineke Verbrugge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local
رده :
QA76
.
76
.
I58D98
2010
12. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin-Keplicz, Rineke Verbrugge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)
13. Teamwork in multi-agent systems : a formal approach
پدیدآورنده : Dunin-Keplicz, Barbara.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence
رده :
QA
76
.
76
.
I58
D98
2010
